$\forall$$i$:Id, $k$:Knd. ($\uparrow$hasloc($k$;$i$)) $\Leftarrow\!\Rightarrow$ (($\uparrow$isrcv($k$)) $\Rightarrow$ (destination(lnk($k$)) = $i$))